Institute for System Programming - PDFSEARCH.IO - Document Search Engine

Institute for System Programming
Results: 57

#	Item
11	Runtime Systems and Programming Environments for the Future DOE X-Stack PI Meeting May 28-29, 2014 Lauren Smith DOD Add to Reading List Source URL: xstackwiki.modelado.org Language: English - Date: 2014-05-29 15:32:03 Software engineering Multi-core processor Standard Performance Evaluation Corporation Cray Unified Parallel C System programming C++ Renaissance Computing Institute Computing Parallel computing Computer programming
12	Recommended Practice for Pipeline Emergency Preparedness and Response API RECOMMENDED PRACTICE 1174 FIRST EDITION, [Insert First Edition Date Here] FOR BALLOT REVIEW, V8, April 28, 2015 Add to Reading List Source URL: ballots.api.org Language: English - Date: 2015-04-29 14:16:45 Incident management Security Disaster preparedness Humanitarian aid Occupational safety and health American Petroleum Institute Application programming interface National Incident Management System ISO Management Emergency management Public safety
13	E-LAB Computers AVRco Pascal Multitasking Development system for Atmel AVR singlechips ® ® E -L AB Com pu t er s Add to Reading List Source URL: www.e-lab.de Language: English - Date: 2014-07-07 12:57:42 Microcontrollers Programming language implementation Atmel AVR Norwegian Institute of Technology Pascal Embedded system Pointer Compiler Conditional Computing Software engineering Computer programming
14	Deterministic Replay and Reverse Debugging for QEMU P. Dovgalyuk Novgorod State University Institute for System Programming of the Russian Academy of Sciences Add to Reading List Source URL: kvm.et.redhat.com Language: English - Date: 2014-11-01 15:27:09 Instruction set architectures QEMU X86 architecture Debugging Virtual machine Log analysis X86-64 Heisenbug X86 System software Software Computer architecture
15	Constraining Timing-dependent Communication for Debugging Non-deterministic Failures T. Felgentreffa , M. Perscheida , R. Hirschfelda a Software Architecture Group, Hasso-Plattner Institute, Prof. Dr. Helmert Str. 2-3, U Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:19 Software testing Concurrent computing Debugging Heisenbug Scheduling Thread X Window System Distributed computing Computing Computer programming Software
16	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
17	LLVM: built-in scalable code clone detection based on semantic analysis Institute for System Programming of the Russian Academy of Sciences Sevak Sargsyan : Add to Reading List Source URL: llvm.org Language: English - Date: 2015-02-02 03:20:09 C++ Subroutines ALGOL 68 C++ classes Main function C Sharp D Computing Software engineering Computer programming
18	Gem for pd - recent progress Johannes M Zmölnig Institute of Electronic Music and Acoustics, University of Music and Dramatic Arts, Graz Abstract Add to Reading List Source URL: puredata.info Language: English - Date: 2012-07-04 08:15:11 OpenGL 3D computer graphics Virtual reality Application programming interfaces Video game development Pure Data Microsoft Direct3D Graphics Environment for Multimedia Graphical Environment Manager Software Computing System software
19	ISO/IEC JTC 1/SC 22 N 4971 ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-09-03 10:18:04 Countries in International Organization for Standardization International Organization for Standardization Film speed American National Standards Institute Ada SQL Office Open XML Intermediate 5 Month Ballot Results Computing Standards organizations Software engineering
20	From: _IWATA,_Shuichiï¼H)_ To: _ Cc: _HSS_ ; _Jean-Jacques_ROYER_ ; _Kathleen_Cass_ ; _seonpark_ ; _Sun_Honglie_ ; _Prof._Sung-Kee_Chu_ ; _Mu-Shik_Jhon_ ; _Lal_Krishan_ ; _Kunisawa_ Add to Reading List Source URL: codata.sinica.edu.tw Language: English - Date: 2013-11-28 01:36:18 Functional programming Category theory Theoretical computer science Indonesian Institute of Sciences Coinduction International System of Units Measurement Mathematics International standards International relations Committee on Data for Science and Technology

UPDATE